Arithmetic precision

Results: 543



#Item
21Mathematics / Affine geometry / Numerical analysis / Software / Theoretical computer science / Abstract interpretation / Fluctuat / Affine arithmetic / Affine space / Integral / Rounding / Matrix

Static Analysis of the Accuracy and Robustness of Finite Precision Implementations Fluctuat Eric Goubault and Sylvie Putot

Add to Reading List

Source URL: www.lix.polytechnique.fr

Language: English - Date: 2013-11-20 04:18:58
22Mathematics / Computer arithmetic / Smalltalk / Number / Single-precision floating-point format / Primitive data type / Continued fraction / Q / Arbitrary-precision arithmetic / Floating point / Fixed-point arithmetic / Real number

Introduction to Smalltalk - Chapter 5 - Numbers  Ivan TomekChapter 5 - Numbers Overview VisualWorks library contains many classes representing numbers of various kinds, mainly because

Add to Reading List

Source URL: sdmeta.gforge.inria.fr

Language: English - Date: 2014-10-09 10:38:17
23Computer arithmetic / Software / Computing / Mathematics / GNU MPFR / Rounding / Interval arithmetic / GNU Multiple Precision Arithmetic Library / Maple / Fixed-point arithmetic / IEEE floating point / TeX

Generating a Minimal Interval Arithmetic Based on GNU MPFR (in the context of the search for hard-to-round cases) Vincent LEFÈVRE Arénaire, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon

Add to Reading List

Source URL: www.vinc17.org

Language: English - Date: 2015-06-18 06:12:50
24Mathematics / Mathematical analysis / Algebra / Condition number / Matrices / Numerical analysis / Division algorithm / Multiplicative inverse / Binomial coefficient / Linear least squares

Math 515 Fall, 2014 Brief Notes on Conditioning, Stability and Finite Precision Arithmetic Most books on numerical analysis, numerical linear algebra, and matrix computations have a lot of material covering conditioning,

Add to Reading List

Source URL: www.mathcs.emory.edu

Language: English - Date: 2014-08-21 18:20:20
25Pharmaceutical industry / Dietary supplements / Pharmaceuticals policy / Food safety / Good manufacturing practice / Health / Business / Software / GMP / GNU Multiple Precision Arithmetic Library / Good automated manufacturing practice

Press Release IADSA releases first ever global GMP guide Australia 23 June 2011

Add to Reading List

Source URL: www.iadsa.org

Language: English - Date: 2011-06-23 02:56:51
26Computing / Computer arithmetic / Software engineering / Computer programming / Floating point / LLVM / Kahan summation algorithm / Extended precision / IEEE floating point / Program analysis / Lookup table / Type system

Precimonious: Tuning Assistant for Floating-Point Precision Cindy Rubio-Gonz´alez1 , Cuong Nguyen1 , Hong Diep Nguyen1 , James Demmel1 , William Kahan1 , Koushik Sen1 , David H. Bailey2 , Costin Iancu2 , and David Hough

Add to Reading List

Source URL: crd.lbl.gov

Language: English - Date: 2013-08-25 13:39:42
27Computer arithmetic / Computing / Software / Computer programming / GNU MPFR / Paul Zimmermann / GNU Multiple Precision Arithmetic Library / Rounding / Floating point / Fixed-point arithmetic / IEEE floating point / Precision

Arithmétique flottante en précision arbitraire Vincent LEFÈVRE INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon École « précision et reproductibilité en calcul numérique », Fréjus

Add to Reading List

Source URL: www.vinc17.org

Language: English - Date: 2015-06-18 06:12:50
28Computer arithmetic / Mathematics / Arithmetic / Mathematical analysis / Floating point / IEEE 754-1985 / Single-precision floating-point format / Double-precision floating-point format / Denormal number / Rounding / Pi / Precision

Lineare Algebra Endliche Arithmetik Walter Gander ETH Z¨ urich

Add to Reading List

Source URL: www.cvg.ethz.ch

Language: English - Date: 2015-06-05 11:10:36
29Computer arithmetic / Computing / Mathematics / Theoretical computer science / Floating point / IEEE floating point / Double-precision floating-point format / Precision / Rounding / NaN / William Kahan / 0.999...

Computing with Floating Point It’s not Dark Magic, it’s Science Florent de Dinechin, Ar´enaire Project, ENS-Lyon CERN seminar, January 11,

Add to Reading List

Source URL: lipforge.ens-lyon.fr

Language: English - Date: 2005-03-18 10:04:41
30Computer arithmetic / GNU MPFR / GNU Multiple Precision Arithmetic Library / Rounding / Paul Zimmermann / GNU Compiler Collection / GNU / Fixed-point arithmetic / IEEE floating point / Floating point / IEEE 754-1985

Introduction to the GNU MPFR Library Vincent LEFÈVRE INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon GNU Hackers Meeting, Paris,

Add to Reading List

Source URL: www.vinc17.org

Language: English - Date: 2015-06-18 06:12:50
UPDATE